Let <i>G</i> be a group and <i>H</i> a normal subgroup of <i>G</i>.  Then <i> G/H = {gH| g is in G}</i> is a group under the operation
<i>aHbH = abH</i>.